标准体系的比例型寿命使用期模型与分析

本文在基于标准被废除按比例进行时的标准体系使用期的两个新模型。首先给出了模型假设条件,然后定义了标准使用期。根据假设给出了两个模型条件下的标准使用期公式,最后通过数值示例说明了标准使用期的公式使用。     

An Implicit Iteration Process with Errors for a Finite Family of r-strictly Asymptotically Pseudocontractive Mappings

In this paper,we will establish several strong convergence theorems for the approximation ofcommon fixed points of r-strictly asymptotically pseudocontractive mappings in uniformly convex Banachspaces using the modiied implicit iteration sequence with errors,and prove the necessary and sufficient conditionsfor the convergence of the sequence.Our results generalize,extend and improve the recent work,in thistopic.     

非强占优先权下的M/M/1排队

分析带有两个优先权的非强占M/M/1系统的性能,用补充变量法构造向量马尔可夫过程对此排队系统的状态转移方程进行分析,得到两类顾客在非强占优先权的队长联合分布的母函数,进一步讨论,得出了服务台被两类顾客占有和闲置的概率以及两类信元各自的平均队长.     

Development of a “Built-in” Scanning Near Field Microscope Head for an Atomic Force Microscope System and Stress Mapping of an Al2O3/ZrO2 Eutectic Composite

We constructed a scanning near-field optical microscope (SNOM) on a commercially available atomic force microscopy (AFM) apparatus (SPM-9500J2; Shimadzu Corp.) to measure the stress distribution in ceramic composite materials. Features of our SNOM system are: (1) a compact SNOM head substituted for the original AFM head; (2) a wide scanning range (125 × 125 μm²) inherited from the original scanner; (3) use of conventional shear-force regulation; (4) an optical system for the illumination-collection (I-C) mode; (5) excitation by a 488 nm line of an Ar-ion laser, and (6) light detection by photon counting or a polychromator equipped with an electronically cooled charge coupled device (CCD). This SNOM system was used to measure the surface structure and stress distribution of an Al₂O₃/ZrO₂ eutectic composite. We simultaneously measured topographic images and fluorescence spectra of an Al₂O₃/ZrO₂ eutectic composite. We estimated its peak intensity, peak position, and peak width from the fluorescence spectrum during scanning, which respectively correspond to the abundance of Al₂O₃, stress in the grain, and the anisotropy of that stress. Mapping images showed that the stress and its anisotropy were weaker in the center of the Al₂O₃ grain than its boundary between Al₂O₃ and ZrO₂. That observation suggests that Al₂O₃ underwent intense anisotropic stress induced by volume expansion in the phase transition of ZrO₂ from the cubic phase to the monoclinic phase during preparation.     

Parametric and Non Homogeneous Semi-Markov Process for HIV Control

In AIDS control, physicians have a growing need to use pragmatically useful and interpretable tools in their daily medical taking care of patients. Semi-Markov process seems to be well adapted to model the evolution of HIV-1 infected patients. In this study, we introduce and define a non homogeneous semi-Markov (NHSM) model in continuous time. Then the problem of finding the equations that describe the biological evolution of patient is studied and the interval transition probabilities are computed. A parametric approach is used and the maximum likelihood estimators of the process are given. A Monte Carlo algorithm is presented for realizing non homogeneous semi-Markov trajectories. As results, interval transition probabilities are computed for distinct times and follow-up has an impact on the evolution of patients.      

阴极还原处理对多孔硅发光性能的影响

对经过阴极还原处理后的多孔硅样片进行了光致发光测试和稳定性测试.实验结果表明这种处理能明显改善多孔硅的发光稳定性,使其表面结构更加稳定.利用原子力显微镜对不同还原时间的多孔硅微结构及形貌进行了比较,在一定范围内随着还原时间的增长多孔硅表面粗糙度增大,PL谱增强.     

Speedup estimates for some variants of the parallel implementations of the branch-and-bound method

The efficiency of parallel implementations of the branch-and-bound method in discrete optimization problems is considered. A theoretical analysis and comparison of two parallel implementations of this method is performed. A mathematical model of the computation process is constructed and used to obtain estimates of the maximum possible speedup. Examples of problems in which none of these two parallel implementations can speed up the computations are considered.     

Time Consistent Dynamic Risk Measures

We introduce the time-consistency concept that is inspired by the so-called “principle of optimality” of dynamic programming and demonstrate – via an example – that the conditional value-at-risk (CVaR) need not be time-consistent in a multi-stage case. Then, we give the formulation of the target-percentile risk measure which is time-consistent and hence more suitable in the multi-stage investment context. Finally, we also generalize the value-at-risk and CVaR to multi-stage risk measures based on the theory and structure of the target-percentile risk measure.     

Approximating schedules for dynamic process graphs efficiently

A model for parallel and distributed programs, the dynamic process graph (DPG), is investigated under graph-theoretic and complexity aspects. Such graphs embed constructors for parallel programs, synchronization mechanisms as well as conditional branches. They are capable of representing all possible executions of a parallel or distributed program in a very compact way. The size of this representation can be as small as logarithmic with respect to the size of any execution of the program.

In a preceding paper [A. Jakoby, et al., Scheduling dynamic graphs, in: Proc. 16th Symposium on Theoretical Aspects in Computer Science STACS'99, LNCS, vol. 1563, Springer, 1999, pp. 383–392] we have analysed the expressive power of the general model and various variants of it. We have considered the scheduling problem for DPGs given enough parallelism taking into account communication delays between processors when exchanging data. Given a DPG the question arises whether it can be executed (that means whether the corresponding parallel program has been specified correctly), and what is its minimum schedule length.

In this paper we study a subclass of dynamic process graphs called -output DPGs, which are appropriate in many situations, and investigate their expressive power. In a previous paper we have shown that the problem to determine the minimum schedule length is still intractable for this subclass, namely this problem is -complete as is the general case. Here we will investigate structural properties of the executions of such graphs. A natural graph-theoretic conjecture that executions must always split into components that are isomorphic to subgraphs turns out to be wrong. We are able to prove a weaker property. This implies a quadratic upper bound on the schedule length that may be necessary in the worst case, in contrast to the general case, where the optimal schedule length may be exponential with respect to the size of the representing DPG. Making this bound constructive, we obtain an approximation to a -complete problem. Computing such a schedule and then executing the program can be done on a parallel machine in polynomial time in a highly distributive fashion.